$\forall$${\it the\_es}$:ES, $l$:IdLnk, $e$:\{$e$:E$\mid$ haslnk($l$;$e$) \}. emsg($e$) $\in$ (Msg on $l$)